Functional design

Results: 612



#Item
381Software requirements / Human–computer interaction / Software design / Systems engineering / Software developer / Requirement / Software quality / Usability / Functional requirement / Software development / Computing / Technology

Microsoft Word - JPPTechnicalAnalystII183FIFTH.docx

Add to Reading List

Source URL: www.flalottery.com

Language: English - Date: 2014-12-16 13:46:22
382Hardware verification languages / Logic design / Formal methods / Logic in computer science / Hardware Trojan / Property Specification Language / Runtime verification / SystemVerilog / Functional verification / Electronic engineering / Digital electronics / Hardware description languages

Security Checkers: Detecting Processor Malicious Inclusions at Runtime Michael Bilzor, Ted Huffmire, Cynthia Irvine, and Tim Levin U.S. Naval Postgraduate School Abstract—To counter the growing threat of malicious sub

Add to Reading List

Source URL: www.cisr.us

Language: English - Date: 2012-10-30 13:43:14
383Subroutines / Memory management / Functional languages / Type theory / Application programming interfaces / Reentrancy / Operating system / Haskell / Kernel / Computing / Software engineering / Software

Metasepi Report: Writing NetBSD Sound Drivers in Haskell A Reentrant Haskell Compiler for Operating Systems Programming Kiwamu Okabe METASEPI DESIGN [removed]

Add to Reading List

Source URL: www.metasepi.org

Language: English - Date: 2015-01-02 02:00:32
384Hardware verification languages / Property Specification Language / SystemVerilog / VHDL / Functional verification / Verilog / OpenRISC / E / Logic simulation / Electronic engineering / Electronic design automation / Hardware description languages

1 Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage Michael Bilzor∗ , Ted Huffmire† , Cynthia Irvine† , Tim Levin†

Add to Reading List

Source URL: www.cisr.us

Language: English - Date: 2012-10-30 13:43:13
385

Center for Next Generation of Materials by Design (CNGMD) William Tumas (National Renewable Energy Laboratory) The mission of CNGMD is to dramatically transform the discovery of functional energy materials using high-thr

Add to Reading List

Source URL: science.energy.gov

- Date: 2014-09-17 07:05:32
    386Java enterprise platform / Cross-platform software / Java platform / Software architecture / NHibernate / Hibernate / ECO / Domain-driven design / SQL / Computing / Software / Object-relational mapping

    REM Functional Overview REM Design Goals  Open Source Reference Architecture for

    Add to Reading List

    Source URL: www.obhita.org

    Language: English - Date: 2012-04-04 14:36:14
    387Systems engineering process / New product development / Design / Engineering / Requirement / Science / Systems engineering / Technology / Mechanical engineering

    Microsoft PowerPoint - 4-Functional decomposition.pptx

    Add to Reading List

    Source URL: faculty.washington.edu

    Language: English - Date: 2014-10-16 15:00:29
    388Verilog-AMS / SystemVerilog / Verilog / Electronic circuit simulation / Functional verification / System on a chip / E / Synopsys / VHDL / Electronic engineering / Hardware description languages / Electronic design automation

    White Paper Extending Digital Verification Techniques for Mixed-Signal SoCs with VCS® AMS September 2014

    Add to Reading List

    Source URL: www.synopsys.com

    Language: English - Date: 2014-11-07 14:38:38
    389Usability / Design / User interface / Technology / Non-functional requirement / Interaction design / Software architecture / Human–computer interaction / Technical communication / Human–computer interaction

    Interaction Design in Digital Libraries : Some critical issues Constantine Stephanidis Foundation for Research and Technology-Hellas (FORTH) Institute of Computer Science (ICS) Science and Technology Park of Crete

    Add to Reading List

    Source URL: www.ercim.eu

    Language: English - Date: 2008-12-08 05:11:34
    390Garnishment / Database / Judicial remedies / Civil procedure / Contract law

    North Carolina Department of Revenue CCM 47 – eGarnishment Data Exchange Functional Design Version ID Date: October 29, 2012

    Add to Reading List

    Source URL: www.statemef.com

    Language: English - Date: 2014-09-22 14:12:29
    UPDATE